Books by author Alexander Leitsch

Showing 1 – 9 out of 9 results

1. 

   Resolution Methods for the Decision Problem

   C. Fernmüller, Alexander Leitsch, ammet Tanel | Springer, Berlin, 1993

   
   

   In stock at our supplier - Shipping in 5 - 8 days

   Language: English

   Binding: Paperback

   51.62 €

   Sale 7 %

   You save 4.28 €

   Buy
2. 

   Automated Model Building

   Ricardo Caferra, Alexander Leitsch, Nicolas Peltier | Springer, 2010

   
   

   In stock at our supplier - Shipping in 5 - 8 days

   Language: English

   Binding: Paperback

   154.16 €

   Sale 7 %

   You save 12.85 €

   Buy
3. 

   Computational Logic and Proof Theory

   Georg Gottlob, Alexander Leitsch, Daniele Mundici | Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, 1993

   
   

   In stock at our supplier - Shipping in 5 - 8 days

   Language: English

   Binding: Paperback

   51.62 €

   Sale 7 %

   You save 4.28 €

   Buy
4. 

   Automated Reasoning

   Rajeev Gore, Alexander Leitsch, Tobias Nipkow | Springer Nature B.V., 2014

   
   

   In stock at our supplier - Shipping in 10 - 18 days

   Language: English

   Binding: Paperback

   56.87 €

   Sale 0 %

   You save 0.01 €

   Buy
5. 

   Methods of Cut-Elimination

   Alexander Leitsch, Matthias Baaz | Springer, 2011

   
   

   Low in stock at our supplier - Shipping in 11 - 15 days

   Language: English

   Binding: Hardback

   109.21 €

   Buy
6. 

   Methods of Cut-Elimination

   Matthias Baaz, Alexander Leitsch | Springer Netherlands, 2013

   
   

   In stock at our supplier - Shipping in 5 - 8 days

   Language: English

   Binding: Paperback

   102.84 €

   Sale 7 %

   You save 8.61 €

   Buy
7. 

   Automated Reasoning

   Rajeev Gore, Alexander Leitsch, Tobias Nipkow | Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, 2001

   
   

   In stock at our supplier - Shipping in 5 - 8 days

   Language: English

   Binding: Paperback

   102.84 €

   Sale 7 %

   You save 8.61 €

   Buy
8. 

   Resolution Calculus

   Alexander Leitsch | Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, 2011

   
   

   In stock at our supplier - Shipping in 5 - 8 days

   Language: English

   Binding: Paperback

   50.51 €

   Sale 9 %

   You save 5.39 €

   Buy
9. 

   Computational Logic and Proof Theory

   Georg Gottlob, Alexander Leitsch, Daniele Mundici | Springer, Berlin, 1997

   
   

   In stock at our supplier - Shipping in 5 - 8 days

   Language: English

   Binding: Paperback

   51.62 €

   Sale 7 %

   You save 4.28 €

   Buy

For a small fee elegant gift-wrap is available. Find out more